Design Patterns as Class Operators

The paper presents a formalization of (some) design patterns as operators between lasses. A on rete design pattern is understood as an operator that modi es ertain lasses into the design proposed by the pattern. In su h this way, we present a way to understand design patterns in a formal ontext, what aims for formal reasoning about them. Furthermore, the view of design patterns as lass operators proposes a method to in orporate design patterns into obje t oriented development tools. It also an give some hints to easily ompose patterns , and to identify design patterns in a given spe i ation.